More from this Author

Formal Methods for Components and Objects

by Frank S. de Boer (Volume Editor), Marcello M. Bonsangue (Editor), Eric Madelaine (Editor)

Formal Aspects of Component Software

by Ivan Lanese (Editor), Eric Madelaine (Editor)